61![The The](https://www.pdfsearch.io/img/4822c2c6f7853a0d817e068fc92d4ee7.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2001-11-26 10:44:16
|
---|
62![125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT 125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT](https://www.pdfsearch.io/img/e8c895d5ca421aa9ef7b6e4043db2fba.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2012-03-04 22:46:44
|
---|
63![Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989
ii Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989
ii](https://www.pdfsearch.io/img/54d96f2d913e0b1595ffb55e47d6863c.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-05-31 14:07:02
|
---|
64![125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT 125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT](https://www.pdfsearch.io/img/b332a95d83812672df302fc532697c64.jpg) | Add to Reading ListSource URL: www.cis.umassd.eduLanguage: English - Date: 2007-02-12 21:22:45
|
---|
65![Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport *](https://www.pdfsearch.io/img/672244ae7b18cadbe3aef6dc5c3fbf20.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-08-21 13:13:38
|
---|
66![Another Position Paper on Another Position Paper on](https://www.pdfsearch.io/img/7f05520bfe037c5495beabd5ee22eeb2.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2013-05-16 14:14:52
|
---|
67![Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Schöpf May 6, 2014 Contents Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Schöpf May 6, 2014 Contents](https://www.pdfsearch.io/img/46982acb3cb8ca4d492b2a17b133b8aa.jpg) | Add to Reading ListSource URL: www.tug.orgLanguage: English - Date: 2014-05-09 18:39:48
|
---|
68![8 TUGboat, Volume[removed]), No. 1 Document Production: Visual or Logical? Leslie Lamport 8 TUGboat, Volume[removed]), No. 1 Document Production: Visual or Logical? Leslie Lamport](https://www.pdfsearch.io/img/8a8767373f7573031855a8dd5f78f1d1.jpg) | Add to Reading ListSource URL: www.tug.orgLanguage: English - Date: 2011-10-16 20:47:02
|
---|
69![The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar](https://www.pdfsearch.io/img/a1278110442216c5279cce9806371629.jpg) | Add to Reading ListSource URL: ctan.math.utah.eduLanguage: English - Date: 2014-10-15 10:30:12
|
---|
70![The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar](https://www.pdfsearch.io/img/e8a58b42be64890385a64dc263480466.jpg) | Add to Reading ListSource URL: download.nus.edu.sgLanguage: English - Date: 2014-10-15 10:30:12
|
---|